新世代プログラミング① 理論(1) ラムダ計算とコンビネータ論理 - 共立出版コンピュータサイエンス誌『bit』